\(\newcommand{\D}{\displaystyle}\) \(\newcommand{\maps}{\rightarrow}\) \(\newcommand{\imp}{\Rightarrow}\) \(\newcommand{\limp}{\Leftarrow}\) \(\newcommand{\ifif}{\Leftrightarrow}\) \(\newcommand{\x}{\times}\) \(\newcommand{\where}{\; | \;}\) \(\newcommand{\sd}{\triangle}\) \(\newcommand{\id}{\operatorname{id}}\) \(\newcommand{\dx}{\mathrm{d}x}\) \(\newcommand{\Hbb}{\mathbb{H}}\) \(\newcommand{\N}{\mathbb{N}}\) \(\newcommand{\Z}{\mathbb{Z}}\) \(\newcommand{\Q}{\mathbb{Q}}\) \(\newcommand{\R}{\mathbb{R}}\) \(\newcommand{\Sbb}{\mathbb{S}}\) \(\newcommand{\rn}{\mathbb{R}^n}\) \(\newcommand{\rwz}{\mathbb{R} \backslash \{0\}}\) \(\newcommand{\cwz}{\mathbb{C} \backslash \{0\}}\) \(\newcommand{\C}{\mathbb{C}}\) \(\newcommand{\cx}{C^{\times}}\) \(\newcommand{\E}{\mathbb{E}}\) \(\newcommand{\e}{\mathrm{e}}\) \(\newcommand{\Odd}{\mathbb{O}}\) \(\newcommand{\rnn}{\mathbb{R}_{n \times n}}\) \(\newcommand{\F}{\mathcal{F}}\) \(\newcommand{\setminus}{\backslash}\) \(\newcommand{\rez}{Re(z)}\) \(\newcommand{\imz}{Im(z)}\) \(\newcommand{\modu}{\, \operatorname{(mod} \,}\) \(\newcommand{\nequiv}{\not\equiv}\) \(\newcommand{\divides}{\, | \,}\) \(\newcommand{\ndivides}{\, \nmid \,}\) \(\newcommand{\nrel}{\not \hspace{-1mm}R}\) \(\newcommand{\greatcd}{\text{gcd} \,}\) \(\newcommand{\lowcm}{\text{lcm} \,}\) \(\newcommand{\euler}{a^{\phi(n)}}\) \(\newcommand{\QR}{\mathbb{Q}(\sqrt 2)}\) \(\renewcommand{\vec}[1]{\mathbf{#1}}\) \(\newcommand{\vecu}{\mathbf{u}}\) \(\newcommand{\vecv}{\mathbf{v}}\) \(\newcommand{\vecw}{\mathbf{w}}\) \(\newcommand{\vecx}{\mathbf{x}}\) \(\newcommand{\vecX}{\mathbf{X}}\) \(\newcommand{\vecy}{\mathbf{y}}\) \(\newcommand{\vecY}{\mathbf{Y}}\) \(\newcommand{\vecz}{\mathbf{z}}\) \(\newcommand{\veca}{\mathbf{a}}\) \(\newcommand{\vecb}{\mathbf{b}}\) \(\newcommand{\vecc}{\mathbf{c}}\) \(\newcommand{\vecd}{\mathbf{d}}\) \(\newcommand{\vece}{\mathbf{e}}\) \(\newcommand{\vecf}{\mathbf{f}}\) \(\newcommand{\vecg}{\mathbf{g}}\) \(\newcommand{\vecn}{\mathbf{n}}\) \(\newcommand{\vecp}{\mathbf{p}}\) \(\newcommand{\vecs}{\mathbf{s}}\) \(\newcommand{\vect}{\mathbf{t}}\) \(\newcommand{\veczero}{\mathbf{0}}\) \(\newcommand{\diag}{\operatorname{diag}\,}\) \(\newcommand{\spn}{\operatorname{span}\,}\) \(\newcommand{\gen}[1]{\left\langle #1 \right\rangle}\) \(\newcommand{\span}{\operatorname{span}\,}\) \(\newcommand{\dimn}{\operatorname{dim}\,}\) \(\newcommand{\row}{\operatorname{row}\,}\) \(\newcommand{\col}{\operatorname{col}\,}\) \(\newcommand{\nul}{\operatorname{nullity}\,}\) \(\newcommand{\rank}{\operatorname{rank}\,}\) \(\newcommand{\im}{\text{im}\,}\) \(\newcommand{\Tr}{\operatorname{trace}\,}\) \(\newcommand{\vecseq}{(\vecx_1, \ldots, \vecx_k)}\) \(\newcommand{\go}{(G, \circ)}\) \(\newcommand{\gx}{(G, \times)}\) \(\newcommand{\gstar}{(G, *)}\) \(\newcommand{\ho}{(H, \circ)}\) \(\newcommand{\hx}{(H, \times)}\) \(\newcommand{\hstar}{(H, *)}\) \(\newcommand{\gp}{G^{\prime}}\) \(\newcommand{\ghat}{\widehat{G}}\) \(\newcommand{\cyca}{\langle a \rangle}\) \(\newcommand{\krn}{\text{ker}\,}\) \(\newcommand{\aut}{\text{Aut}\,}\) \(\newcommand{\orb}{\operatorname{orb}\,}\) \(\newcommand{\stab}{\operatorname{stab}\,}\) \(\newcommand{\fix}{\operatorname{fix}\,}\) \(\newcommand{\lcm}{\operatorname{lcm}}\) \(\newcommand{\kbar}{\overline{K}}\) \(\newcommand{\zbar}{\overline{z}}\) \(\newcommand{\wbar}{\overline{w}}\) \(\newcommand{\ap}{a^{\prime}}\) \(\newcommand{\bp}{b^{\prime}}\) \(\newcommand{\ep}{e^{\prime}}\) \(\newcommand{\hp}{h^{\prime}}\) \(\newcommand{\xp}{x^{\prime}}\) \(\newcommand{\yp}{y^{\prime}}\) \(\newcommand{\ainv}{a^{-1}}\) \(\newcommand{\binv}{b^{-1}}\) \(\newcommand{\finv}{f^{-1}}\) \(\newcommand{\ginv}{g^{-1}}\) \(\newcommand{\hinv}{h^{-1}}\) \(\newcommand{\xinv}{x^{-1}}\) \(\newcommand{\yinv}{y^{-1}}\) \(\newcommand{\zn}{\Z_n}\) \(\newcommand{\zp}{\Z_p}\) \(\newcommand{\znx}{\Z_n^{\times}}\) \(\newcommand{\zpx}{\Z_p^{\times}}\) \(\newcommand{\norm}{\triangleleft \,}\) \(\newcommand{\glr}[1]{\operatorname{GL}(#1,\mathbb{R})}\) \(\newcommand{\conj}[1]{conj_{#1}}\) \(\newcommand{\conjg}{conj_{G}}\) \(\newcommand{\centg}{cent_{G}}\) \(\newcommand{\chr}{\operatorname{char} \,}\) \(\newcommand{\ideal}{\unlhd}\) \(\newcommand{\zring}{\{0_R\}}\) \(\newcommand{\epr}{E^{\prime}}\) \(\newcommand{\vpr}{V^{\prime}}\) \(\newcommand{\turan}{Tur\'{a}n}\) \(\newcommand{\gcomp}{\overline G}\) \(\newcommand{\pruf}{Pr\"{u}fer}\) \(\newcommand{\chvat}{Chv\'{a}tal's}\) \(\newcommand{\konig}{K\"{o}nig}\)

5  Group Homomorphisms Revisited

We now come to the central topic of Algebra. Homomorphisms have been at work behind the scenes in much of our work in this module as well as in the Abstract Algebra module. Informally, a homomorphism is a structure-preserving mapping from one group into another group, \(G\) into \(\gp\) say. Such mappings are used to provide information about the structure of \(\gp\) from the known structural properties of \(G\) and vice versa. The formal definition is as follows:

Definition 5.1 (Homomorphism) Let \(G\) and \(\gp\) be groups. A mapping \(\phi \, : \, G \rightarrow \gp\) is a homomorphism if, for all \(x, y \in G\) \[\phi (xy) = \phi(x) \phi(y).\]

Note

An isomorphism is simply a bijective homomorphism.

An easy example of structure preservation is the following lemma.

Lemma 5.1 Let \(\phi\) be a homomorphism from a group \(G\) into a group \(\gp\). Then,

  1. if \(e\) is the identity in \(G\), then \(\phi (e)\) is the identity in \(\gp\),
  2. for all \(x \in G\), \(\phi (x^{-1}) = (\phi (x))^{-1}\).

Proof.

We take each in turn.

  1. Notice that \[\phi(x) = \phi(xe) = \phi(x)\phi(e).\] Pre-multiplying by \(\phi(x)^{-1}\), and writing \(e'\) for the identity of \(G'\) we have: \[ e' = (\phi(x)^{-1} \phi(x)) = \phi(x)^{-1}(\phi(x)\phi(e)) = \phi(e)\]as required.
  2. We have: \[ e' = \phi(e) = \phi(xx^{-1}) = \phi(x)\phi(x^{-1}).\] Therefore \(\phi(x)^{-1} = \phi(x)\) as required.

Example 5.1  

The map \(\phi: \Z \to \Z_2\) by \(\phi(n) = \begin{cases} 0, & n \text{ is even} \\ 1, & n \text{ is odd} \end{cases}\). Then \(\phi\) is a homomorphism. This follows since the sum of two even or two odd numbers is even and the sum of an odd and even number is odd.

Example 5.2  

Two homomorphisms arise naturally in linear algebra:

  1. Let \(V\) and \(W\) be vector spaces and \(T:V \to W\) be a linear transformation. Recall that \(V\) and \(W\) form abelian groups under vector addition \(+\). Thus \(T: (V,+) \to (W,+)\) is a homomorphism since \[T(u + v) = T(u) + T(v)\] for all \(u,v \in V\).
  2. The set \(\glr{n}\) of all invertible \(n\times n\) matrices over the real numbers is a group under matrix multiplication. The map \(\det: \glr{n} \to (\R\backslash\{0\},\times)\) by \(A \mapsto \det(A)\) is a homomorphism since \(\det(AB) = \det(A)\det(B)\).

Example 5.3  

Similarly to Example 5.1 we can define a homomorphism \(\phi\) from the symmetric group \(S_n\) to \(\Z_2\) by: \[\phi(\sigma) = \begin{cases} 0, & \sigma \text{ is even }\\ 1, & \sigma \text{ is odd. } \end{cases}\]

Example 5.4  

The set \(\mathrm{C}[a,b]\) of all continuous functions on the interval \([a,b]\) forms a group under pointwise addition: \[f+g(x) = f(x) + g(x).\] The map \(\phi: \mathrm{C}[a,b] \to \R\), defined by \[\phi(f) = \int_{a}^{b} f(x) \ \dx\] is a group homomorphism for \[ \int_{a}^{b} (f+g)(x) \ \dx= \int_{a}^{b} f(x) + g(x) \ \dx = \int_{a}^{b} f(x) \ \dx + \int_{a}^{b} g(x) \ \dx.\]

Example 5.5  

Consider the group \(D_4\) and the normal subgroup \(N= \{e,r_1, r_2, r_3\}\). Define \(\phi: D_4 \to D_4/N\) by \(\phi(g) = gN\). Then \(\phi\) is a homomorphism from \(D_4\) to \(D_4/N\), since \[\phi(hg) = (hg)N = (hN)(gN) = \phi(h)\phi(g).\]

Notice that all elements of \(N\) (in \(D_4\)) map to the identity element \(N\) in the group \(D_4/N\).

Note that if we chose a non-normal subgroup \(H\) of \(D_4\) (e.g \(H= \{e,s_1\}\)), the map \(\phi\) from \(D_4\) to the set of left cosets of \(H\) given by \(\phi(g) = gH\) is a well-defined map but is not a homomorphism since the set of left cosets of \(H\) do not form a group (coset multiplication is only well-defined over cosets of a normal subgroup).

We shall see that there is an intimate connection between homomorphisms and normal subgroups. Before continuing, though, we make the following definition about sets.

Definition 5.2 (Image and Pre-image) Let \(f\) be a mapping of a set \(X\) into a set \(Y\), and let \(A \subseteq X\) and \(B \subseteq Y\). The image of \(A\) in \(Y\) under \(f\) is denoted and defined by \[f(A) = \{ f(a) \, | \, a \in A \}.\] The pre-image of \(B\) in \(Y\) under \(f\) is denoted and defined by \[f^{-1} (B) = \{ x \in X \, | \, f(x) \in B \}.\]

Our first observation is that the image of a group homomorphism is a group.

Theorem 5.1 Let \(\phi\) be a group homomorphism from a group \(G\) into a group \(\gp\). Then, for any subgroup \(H\) of \(G\), \(\phi (H)\) is a subgroup of \(\gp\).

Proof.

Since \(\phi(e)\) is the identity element \(e'\) of \(\gp\), then \(\phi(H)\) is non-empty.

Let \(g',h' \in \phi(H)\). Then there are elements \(g,h \in H\) such that \(\phi(g) = g'\) and \(\phi(h) = h'\). Thus: \[g'h' =\phi(g)\phi(h) = \phi(gh) \in \phi(H)\] and \(\phi(H)\) is closed under products.

Moreover, \[(g')^{-1} = (\phi(g))^{-1} = \phi(g^{-1}) \in \phi(H)\] and \(\phi(H)\) is closed under inverses.

5.1 Kernels and the First Isomorphism Theorem

In this section we establish the fundamental connection between homomorphisms and normal subgroups. We begin with a definition.

Definition 5.3 (Kernel) Let \(\phi\) be a group homomorphism from a group \(G\) into a group \(\gp\). The kernel of \(\phi\) is denoted and defined by \[ker(\phi) = \phi ^{-1}(e^{\prime}) = \{ x \in G \, | \, \phi(x) = e^{\prime} \},\] where \(e^{\prime}\) is the identity in \(\gp\).

The kernel of a homomorphism consists, therefore, of all of the elements of \(G\) that are mapped onto the identity in \(\gp\).

Lemma 5.2 Let \(\phi\) be a group homomorphism from a group \(G\) into a group \(\gp\). Then \(ker(\phi)\) is a normal subgroup of \(G\).

Proof.

First we need to demonstrate that \(ker(\phi)\) is a subgroup. Clearly, the \(ker(\phi)\) is non-empty since it contains the identity of \(G\).

Let \(g,h \in ker(\phi)\). Then \[\phi(gh) = \phi(g)\phi(h) = e' e' = e'\] for \(e'\) the identity element of \(\gp\). Therefore, \(ker(\phi)\) is closed under products. Moreover, \[\phi(g^{-1}) = \phi(g)^{-1} = (e')^{-1} = e'\] and \(ker(\phi)\) is closed under inverses.

These completes the subgroup tests. Now we show that \(ker(\phi)\) is a normal subgroup of \(G\).

Let \(h \in ker(\phi)\) and \(g \in G\). Then \[\begin{align*} \phi(gh\ginv) &= \phi(g)\phi(h)\phi(\ginv)\\ &= \phi(g)e'\phi(\ginv)\\ &= \phi(g)\phi(\ginv)\\ &= \phi(g\ginv)\\ &= \phi(e)\\ &=e'. \end{align*}\] Therefore, for all \(g \in G\), \(g \ker(\phi)\ginv = \ker(\phi)\) and so \(\ker(\phi)\) is a normal subgroup of \(G\).

Example 5.6  

The kernel of the map \(\phi: \Z \to \Z_2\) is precisely the even integers. (This is clearly a normal subgroup of \(\Z\) since \(\Z\) is abelian.)

Example 5.7  

Returning to Example 5.2:

  1. The kernel of a linear transformation \(T: V \to W\) was defined in the linear algebra module as \[\krn(T) = \{v \in V : T(v) = 0\}.\] This definition coincides with the definition of the kernel of the group homomorphism \(T: (V,+) \to (W,+)\).

  2. The kernel of the homomorphism \(\det: \glr{n} \to (\R\backslash\{0\},\times)\) is the set of all \(n\times n\) matrices with determinant \(1\).

Example 5.8  

The kernel of the homomorphism \(\phi: S_n \to \Z_2\) defined by \[\phi(\sigma) = \begin{cases} 0, & \sigma \text{ is even}\\ 1, & \sigma \text{ is odd} \end{cases}\] is precisely the normal subgroup \(A_n\) of \(S_n\).

Example 5.9  

The kernel of the homomorphism \(\phi: \mathrm{C}[a,b] \to \R\) of Example 5.4 is the set of elements of \(\mathrm{C}[a,b]\) whose integral over the interval \([a,b]\) is \(0\). (Note the kernel consists of not just the zero function.)

Example 5.10  

Revisiting Example 5.5, the kernel of the homomorphism \(\phi\) is precisely the normal subgroup \(N\).

Since \(ker(\phi)\) is a normal subgroup of \(G\), it follows that we can form the quotient group of \(G\) by \(ker(\phi)\). The following result tells us that this quotient group is isomorphic to the image of \(G\) under the homomorphism; this is known as the First Isomorphism Theorem (there are two more but we will not need them).

Theorem 5.2 (First Isomorphism Theorem) Let \(\phi : G \rightarrow \gp\) be a group homomorphism with kernel \(K\). Then \[\phi(G) \cong G/K.\]

Proof.

Define a map \(\psi: \phi(G) \to G/K\) by \(\phi(g) \mapsto gK\) for all \(g \in G\). We need to prove that: + that \(\psi\) is a well-defined map; + that \(\psi\) is a bijection; + that \(\psi\) is a homomorphism.

First we prove that \(\psi\) is well-defined. Let \(g,h \in G\) such that \(\phi(g) = \phi(h)\). We need to show that \(\psi(\phi(g)) = \psi(\phi(h))\). Since \(\phi(g)= \phi(h)\) then \(\phi(g h^{-1}) = \phi(g)\phi(h)^{-1} = e'\), where \('e\) is the identity element of \(\gp\). Therefore, \(gh^{-1} \in K\). Let \(k \in K\) be such that \(gh^{-1} = k\). Then, by postmultiplying on both sides by \(h\), we have \(g = kh\). We now have, \[\phi(g) = \phi(kh) = \phi(k)\phi(h) = e' \phi(h) = \phi(h)\] and \(\phi(g) = \phi(h)\) as required.

Clearly the map \(\psi\) is surjective since for any \(gK \in G/K\) \(\psi(\phi(g)) = gK\). Thus it remains only to show that \(\psi\) is a injective to conclude that it is bijective.

Suppose \(\phi(g), \phi(h) \in \phi(G)\) satisfy \(gK = hK\). We want to conclude that \(\phi(g) = \phi(h)\). Since \(gK = hK\), then \(gh^{-1} \in K\). Therefore there is a \(k \in K\) such that \(g = hk\) (repeating an argument above). Repeating the argument for well-definedness, we conclude that \(\phi(g)= \phi(h)\) as required.

The last is the most straightforward. We verify the homomorphism criteria: \[\psi(\phi(g)\phi(h)) = \psi(\phi(gh)) = ghK = gK hK = \psi(\phi(g))\psi(\phi(h))\] as required.

The converse of the First Isomorphism Theorem is also true, namely if \(N\) is a normal subgroup of \(G\) then we can easily define a group homomorphism \(\phi : G \rightarrow \gp\) such that \(G/N \cong \phi (G)\). The exact nature of the group \(\gp\) is not important and there are infinitely many groups \(\gp\) that we could choose to serve our purpose (any group containing a subgroup isomorphic to \(G/N\) will do), but the easiest one to choose is \(\gp = G/N\).

Lemma 5.3 Let \(N\) be a normal subgroup of \(G\). Then \(\phi : G \rightarrow G/N\) defined by \(\phi(x) = xN\), for all \(x \in G\), is a homomorphism with kernel \(N\).

Proof.

The map \(\phi\) is a homomorphism since \[\phi(xy) = (xy)N = xN yN = \phi(x)\phi(y).\]

Clear \(N \subseteq \ker(\phi)\). On the other hand, if \(x \in \ker(\phi)\) then \(xN = N\) and so \(x \in N\). Thus \(\ker(\phi) = N\) as required.

The map \(\phi\) in the statement of Lemma 5.3 is called the natural or canonical homomorphism.

In summary, the image of a homomorphism of \(G\) is isomorphic to \(G/N\) where \(N\) is the kernel of the homomorphism, and for every normal subgroup \(N\) of \(G\) there is a homomorphism from \(G\) to \(G/N\) with kernel \(N\) (each homomorphism has a different codomain as \(N\) changes). Group homomorphisms and quotient groups are really just two different ways of looking at the same thing. Compare the following example and theorem to those in Chapter 4.

Example 5.11 Classify the group \((\Z_4 \times \Z_2) / \langle (0, 1) \rangle\) according to the Fundamental Theorem of Finite Abelian Groups.

The map \(\phi:\Z_4 \times \Z_2 \to \Z_4\) defined by \(\phi((x,y)) = x\) is a homomorphism with kernel \[\{0\} \times \Z_2 = \{(0,0),(0,1)\}.\] Therefore, using the First Isomorphism Theorem, \((\Z_4 \times \Z_2) / \langle (0, 1) \rangle \cong \Z_4\).

In very loose terms the previous example can be represented as follows: \[(\Z_4 \times \Z_2) / \langle (0, 1) \rangle = \frac{\Z_4 \times \Z_2}{\{0\} \times \Z_2} = \Z_4.\]

Theorem 5.3 Let \(G = H \times K\) be the direct product of groups \(H\) and \(K\). Then \(\overline{K} = \{ (e, k) \, | \, k \in K \}\) is a normal subgroup of \(G\) isomorphic to \(K\) and \(G/\overline{K} \cong H\).

Proof.

The map \(\phi: H \times K \to H\) by \((h,k) \mapsto h\) is easily verified to be a group homomorphism. The kernel of \(\phi\) is precisely the set \[\{e_{H}\} \times K = \{(e_H, k) : K \in K\}\] where \(e_{H}\) is the identity element of \(H\).

By the First Isomorphism Theorem, we have \(\phi(H \times K) = H \cong G/\overline{K}\).

5.2 Homomorphisms and Group Actions

When introducing group actions we made the following remark:

Groups acting on sets are really just thinly disguised permutation groups in that whenever a group \(G\) acts on a set \(X\) we can associate with each \(g\in G\) the permutation \(f_g\) of \(X\) defined by \(f_g(x)=g*x,\ \forall \, x\in X\). These permutations form a subgroup of \(S_{|X|}\), but this group need not be isomorphic to \(G\), and we shall return to this later.

We are now in a position to state precisely what was meant by this, and we begin with the following theorem (note that, as usual, we denote the action of a group element \(g\) on an element \(x \in X\) by \(g * x\)):

Theorem 5.4 Let \(G\) be a group acting on a finite set \(X\). Define \(\phi : G \rightarrow S_{|X|}\) by \(\phi(g) = f_g\) where \(f_g(x) = g*x\) for all \(x \in X\). Then \(\phi\) is a homomorphism.

Proof.

We need to show that the map \(\phi\) is well-defined. In this context, this means verifying that \(f_g\) is in fact a bijection on \(X\). A map is bijective if and only if it is invertible and so it suffices to show that \(f_g\) is invertible. We have: \[(f_g \circ f_{g^{-1}})(x) = f_g(f_{g^{-1}}(x)) = f_g(g^{-1}\ast x) = g \ast(g^{-1}\ast x) = e\ast x = x.\] Similarly one has that \(f_{\ginv} \circ f_{g}(x) =x\) for all \(x \in X\). Therefore \(f_g\) is invertible (with inverse \(f_{\ginv}\)) and so it is a bijective map on \(X\).

It now remains to verify that \(\phi\) is a homomorphism. We have \[\phi(gh)(x) = f_{gh}(x) = (gh)\ast x = g\ast(h \ast x) =f_g(f_h(x)) = \phi(g)(\phi(h)(x))\] for all \(x \in X\). This means that \(\phi(gh)= \phi(g)\phi(h)\) and so \(\phi\) is a homomorphism.

Remark. The kernel of the homomorphism in Theorem 5.4 is precisely the set of elements \(g \in G\) with \(\fix(g) = X\).

Example 5.12  

Recall that in Chapter 3, Example 3.5 we considered the group \(D_4\) acting on the diagonals \(d_1\) and \(d_2\) of the square.

We demonstrated that the permutation group corresponding to this action is: \[ \left\{ \begin{pmatrix} d_1 & d_2 \\ d_1 & d_2 \end{pmatrix},\begin{pmatrix} d_1 & d_2 \\ d_2 & d_1 \end{pmatrix} \right\} \cong S_2. \]

By Theorem 5.4, \(\phi: D_4 \to S_2\) is defined by: \[\begin{align*} \phi(e)&= \phi(r_2)=\phi(s_2) = \phi(s_4) = \begin{pmatrix} 1 & 2 \\ 1 & 2 \end{pmatrix} \\ \phi(r_1)&= \phi(r_3)=\phi(s_1) = \phi(s_3) = \begin{pmatrix} 1 & 2 \\ 2 & 1 \end{pmatrix} \end{align*}\] is a homomorphism with kernel \(K = \{ e,r_2, s_2, s_4\}\). It follows that \(K\) is a normal subgroup of \(D_4\) and \(D_4/K \cong S_2\).

5.3 Problem Sheet 5

For Week 11; covers Chapter 5.


Question 5.1

Let \(\phi : \Z_4 \times \Z_6 \rightarrow D_4\) be a homomorphism with kernel \(K = \langle (2, 2) \rangle\), where \(D_4\) denotes the dihedral group of order 8.

  1. List the elements of \(K\) and of \((\Z_4 \times \Z_6) / K\).
  2. Classify \(\phi (\Z_4 \times \Z_6)\) according to the Fundamental Theorem of Finite Abelian Groups.
Question 5.2

Let \(\phi : G \rightarrow \gp\) be a group homomorphism. Show that if \(|G|\) and \(|\gp|\) are finite, then:

  1. \(| \phi (G) |\) is a divisor of \(|\gp|\).
  2. \(| \phi (G) |\) is a divisor of \(|G|\).
  3. \(\forall \, g \in G\), the order of \(\phi (g)\) divides the order of \(g\).
Question 5.3

Let \(\phi : G \rightarrow \gp\) be a group homomorphism. For each of the following statements, show whether it is true or false by providing either a proof or a non-trivial counter-example as appropriate. (The trivial homomorphism from \(G\) to \(\gp\) is defined by \(\phi (g) = e^{\prime}, \; \forall \, g \in G\).)

  1. If \(G\) is abelian, then \(\gp\) is abelian.
  2. If \(\gp\) is abelian, then \(G\) is abelian.
  3. If \(G\) is abelian, then \(\phi (G)\) is abelian.
  4. If \(\phi (G)\) is abelian, then \(G\) is abelian.
Question 5.4
By considering all of the normal subgroups of \(D_4\), determine the number of distinct homomorphisms that exist from \(D_4\) to \(A_4\).
Question 5.5

Let \(G,H,K\) be groups.

  1. If \(\phi:G \to H\) is a homomorphism and \(\psi: H \to K\) is a homomorphism, show that \(\psi\phi: G \to K\).
  2. If \(\phi: G \to H\) is an isomorphism, show that \(\phi^{-1}: H \to G\) is also an isomorphism.
Question 5.6

Let \(G\) be a group and fix an element \(g \in G\). Define a mapping \(\kappa_g: G \to G\) by \(\kappa_g(h) = ghg^{-1}\) for all \(h \in G\). Show that \(\kappa_g\) is an isomorphism from \(G\) to \(G\).

Question 5.7
Write down a non-trivial homomorphism from \(A_4\) to \(D_3\) and describe its kernel, \(K\). Form the quotient group \(A_4/K\) and show directly that this is isomorphic to the image of \(A_4\). (This is a bit tricky; remember that the image of \(A_4\) need not be the whole of \(D_3\), but must be a non-trivial subgroup of \(D_3\).)